Network invariants for real-time systemsGRINCHTEIN, Olga; LEUCKER, Martin.Formal aspects of computing. 2008, Vol 20, Num 6, pp 619-635, issn 0934-5043, 17 p.Article

Learning of event-recording automataGRINCHTEIN, Olga; JONSSON, Bengt; LEUCKER, Martin et al.Theoretical computer science. 2010, Vol 411, Num 47, pp 4029-4054, issn 0304-3975, 26 p.Article

Inference of event-recording automata using timed decision treesGRINCHTEIN, Olga; JONSSON, Bengt; PETTERSSON, Paul et al.Lecture notes in computer science. 2006, pp 435-449, issn 0302-9743, isbn 3-540-37376-4, 1Vol, 15 p.Conference Paper

Learning of event-recording automataGRINCHTEIN, Olga; JONSSON, Bengt; LEUCKER, Martin et al.Lecture notes in computer science. 2004, pp 379-395, issn 0302-9743, isbn 3-540-23167-6, 17 p.Conference Paper